Digraph functors which admit both left and right adjoints
نویسندگان
چکیده
For our purposes, two functors Λ and Γ are said to be adjoint if for any digraphs G and H, there exists a homomorphism of Λ(G) to H if and only if there exists a homomorphism of G to Γ(H). We investigate the right adjoints characterised by Pultr in [A. Pultr, The right adjoints into the categories of relational systems, In Reports of the Midwest Category Seminar, IV, volume 137 of Lecture Notes in Mathematics, pages 100–113, Berlin, 1970]. We find necessary conditions for these functors to admit right adjoints themselves. We give many examples where these necessary conditions are satisfied, and the right adjoint indeed exists. Finally, we discuss a connection between these right adjoints and homomorphism dualities. AMS subject classification: 05C20, 18A40, 05C60
منابع مشابه
Limits and colimits in the category of pre-directed complete pre-ordered sets
In this paper, some categorical properties of the category { Pre-Dcpo} of all pre-dcpos; pre-ordered sets which are also pre-directed complete, with pre-continuous maps between them is considered. In particular, we characterize products and coproducts in this category. Furthermore, we show that this category is neither complete nor cocomplete. Also, epimorphisms and monomorphisms in {Pre-Dcpo} ...
متن کاملAnticipatory Adjointness of E-Science Computation on the Grid
Information systems are anticipatory systems providing knowledge of the real world. If e-science is to operate reactively across the Grid it needs to be integrable with other information systems and e-commerce1. Theory suggests that four strong-anticipatory levels of computational types are sufficient to provide ultimate systemic closure with a single strong anticipation. Between the four level...
متن کاملThe Anticipatory and Systemic Adjointness of E-Science Computation on the Grid
Information systems are anticipatory systems providing knowledge of the real world. If e-science is to operate reactively across the Grid it needs to be integrable with other information systems and e-commerce. Theory suggests that four strong-anticipatory levels of computational types are sufficient to provide ultimate systemic closure with a single strong anticipation. Between the four levels...
متن کاملInduction, Coinduction, and Adjoints
We investigate the reasons for which the existence of certain right adjoints implies the existence of some final coalgebras, and vice-versa. In particular we prove and discuss the following theorem which has been partially available in the literature: let F a G be a pair of adjoint functors, and suppose that an initial algebra F̂ (X) of the functor H(Y ) = X + F (Y ) exists; then a right adjoint...
متن کاملTensoring with Infinite-dimensional Modules in O 0
We show that the principal block O 0 of the BGG category O for a semisimple Lie algebra g acts faithfully on itself via exact endofunc-tors which preserve tilting modules, via right exact endofunctors which preserve projective modules and via left exact endofunctors which preserve injective modules. The origin of all these functors is tensoring with arbitrary (not necessarily finite-dimensional...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Discrete Mathematics
دوره 338 شماره
صفحات -
تاریخ انتشار 2015